Kind{-}deq $\in$ EqDecider(Knd)